Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
641	Circulation Retention; 1. Automated pay options (EZ Pay) by; a. Credit card b. Debit card c. Bank checking account d. Bank savings account Add to Reading List Source URL: www.advpubtech.com Language: English - Date: 2012-01-27 00:37:00 Spreadsheet Subscription business model Microsoft Excel Software
642	A Portable Compiler-Integrated Approach to Permanent Checking Nic Volanschi mygcc [removed] Abstract Add to Reading List Source URL: mygcc.free.fr Language: English - Date: 2006-10-04 13:36:51 Cross-platform software Procedural programming languages Compilers GNU Compiler Collection C Pattern matching Model checking Lint Ada Computing Software engineering Computer programming
643	BRICS Basic Research in Computer Science MONA Version 1.4 User Manual Nils Klarlund, [removed] Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-06-14 03:00:12 Models of computation Computer science Model checking Finite-state machine Deterministic finite automaton Formal language Tree automaton Formal verification Second-order logic Automata theory Theoretical computer science Applied mathematics
644	Verification with Small and Short Worlds Rohit Sinha UC Berkeley Cynthia Sturton UC Berkeley Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2015-01-21 19:48:40 Computer hardware Central processing unit Computer memory CPU cache Cache Memory management unit Page table Model checking Uclid Computer architecture Computing Virtual memory
645	Experience with Model Checking Linearizability Martin Vechev, Eran Yahav, and Greta Yorsh IBM T.J. Watson Research Center Non-blocking concurrent algorithms offer significant performance advantages, but are very difficul Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:23:38 Transaction processing Dynamical systems Mathematics Concurrent data structure Linearization Algorithm Parallel computing Model checking Concurrency Concurrency control Computing Linearizability
646	Embedded Software Development Environment Solutions C-Language Verification Tool Using Formal Methods “VARVEL” TOKUOKA Hiroki, MIYAZAKI Yoshiaki, HASHIMOTO Yuusuke Add to Reading List Source URL: www.nec.com Language: English - Date: 2013-10-01 21:35:39 Logic in computer science Model checking Formal methods Software bug
647	bflow* Toolbox - an Open-Source Modeling Tool Christian B¨ ohme1 , J¨ org Hartmann1 , Heiko Kern1 , Stefan K¨ uhne1 , Ralf Laue2 , 3 Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2010-07-16 04:17:38 Scientific modeling Modeling language Model checking Graphical Modeling Framework AnyLogic Software Computing Eclipse
648	Microsoft Word - ESW10-v2.2.doc Add to Reading List Source URL: www.iaas.uni-stuttgart.de Language: English - Date: 2011-04-08 03:36:51 Business process Quality Standards Regulatory compliance Business process management Compliance requirements Verification and validation Specification Model checking Management Process management Business
649	Bit-Precise Reasoning with Affine Functions Neil Kettle and Andy King∗ Portcullis Computer Security Limited, Pinner, HA5 2EX, UK Abstract The class of affine Boolean functions is rich enough to express constant bits an Add to Reading List Source URL: www.digit-labs.org Language: English - Date: 2008-06-09 08:21:20 Affine geometry Linear algebra Binary decision diagram Diagrams Model checking Artificial neuron Affine transformation Vector space Algebra Mathematics Boolean algebra
650	CALL FOR PAPERS International Conference on Formal Methods in Computer-Aided Design (FMCAD’98) Palo Alto, CA, USA 4 – 6 November 1998 Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2009-12-18 14:46:37 Logic design Electronic design automation Hillsboro Oregon Synopsys Model checking Automated theorem proving Logic simulation Electronic engineering Digital electronics Formal methods

UPDATE